Applying FSQ Engineering Foundations to Automated Calculation of Program Behavior
نویسنده
چکیده
...............................................................................................................v 1 The Problem of Understanding Program Behavior....................................1 2 Background: Function-Theoretic Foundations of FSQ Flow Structures..3 3 Function-Theoretic Calculation of Program Behavior ...............................6 4 The Architecture of an Abstraction Engine ..............................................19 5 Using Abstraction in Automated Verifiers, Integrators, and Certifiers ...21 5.1 Automated Program Verifiers...............................................................21 5.2 Automated Program Integrators...........................................................21 5.3 Automated Program Certifiers .............................................................23 6 Acknowledgements....................................................................................24 References .........................................................................................................25
منابع مشابه
Flow-Service-Quality (FSQ) Requirements Engineering For High-Assurance Systems
Modern society could hardly function without the largescale, network-centric information systems that pervade government, defense, and industry. These systems exhibit shifting boundaries, often-unknown component behavior, constantly varying function and usage, and pervasive asynchronous operations. Their complexity challenges intellectual control, and their survivability has become an urgent pr...
متن کاملFlow-Service-Quality (FSQ) Engineering: Foundations for Network System Analysis and Development
...................................................................................................................v 1 Network System Realities...............................................................................1 2 Flow-Service-Quality Engineering..................................................................5 3 Flow Structure Semantics................................................
متن کاملOptimal Power Flow in the Smart Grid Using Direct Load Control Program
This paper proposes an Optimal Power Flow (OPF) algorithm by Direct Load Control (DLC) programs to optimize the operational cost of smart grids considering various scenarios based on different constraints. The cost function includes active power production cost of available power sources and a novel flexible load curtailment cost associated with DLC programs. The load curtailment cost is based ...
متن کاملThe Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems
Modern enterprises are irreversibly dependent on large-scale, adaptive, component-based information systems whose complexity frequently exceeds current engineering capabilities for intellectual control, resulting in persistent difficulties in system development, management, and evolution. We propose an innovative framework of engineering representation and reasoning methods for developing these...
متن کاملBehavior Study of Cemented Specimen by Biological Technique after Disturbance
With the population growth and consequently the requirement for development of civil constructions, it is necessary to design appropriate foundations for resisting structural loads. Soil weakness in bearing capacity of geotechnical elements has forced the researchers to continuously follow a solution to compensate for this deficiency. Within the past two decades, many studies have been carried ...
متن کامل